Vardy, Alan E: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Transient, turbulent, smooth pipe friction

Vardy, Alan E., Brown, Jim M.B.

Journal:

Journal of Hydraulic Research

Year:

1995

File:

PDF, 7.77 MB

1995

2

Shear displacement in open-sandwich reinforced concrete beams

Wong, Carlos C. K., Vardy, Alan E., Lark, Robert J.

Journal:

Magazine of Concrete Research

Year:

1987

Language:

english

File:

PDF, 647 KB

english, 1987

3

Reinforced concrete deep beams some test results

Subedi, N. K., Vardy, Alan E., Kubotat, N

Journal:

Magazine of Concrete Research

Year:

1986

Language:

english

File:

PDF, 2.89 MB

english, 1986

4

Pressure radiation from a perforated duct exit region

Wang, Honglin, Vardy, Alan E., Pokrajac, Dubravka

Journal:

Journal of Sound and Vibration

Year:

2015

Language:

english

File:

PDF, 2.11 MB

english, 2015

5

A characteristics model of transient friction in pipes

Vardy, Alan E., Hwang, Kuo-Lun

Journal:

Journal of Hydraulic Research

Year:

1991

Language:

english

File:

PDF, 7.65 MB

english, 1991

6

Evaluation of Unsteady Wall Shear Stress by Zielke’s Method

Vardy, Alan E., Brown, Jim M. B.

Journal:

Journal of Hydraulic Engineering

Year:

2010

Language:

english

File:

PDF, 140 KB

english, 2010

7

Laminar pipe flow with time-dependent viscosity

Vardy, Alan E., Brown, James M. B.

Journal:

Journal of Hydroinformatics

Year:

2011

Language:

english

File:

PDF, 939 KB

english, 2011

8

Influence of radial seepage on temperature distribution around a cylindrical cavity in a porous medium

Jim Brown, Alan Vardy, Zhaoyang Zeng

Journal:

International Journal of Heat and Mass Transfer

Year:

1998

Language:

english

File:

PDF, 1008 KB

english, 1998

9

Approximation of Turbulent Wall Shear Stresses in Highly Transient Pipe Flows

Vardy, Alan E., Brown, Jim M.

Journal:

Journal of Hydraulic Engineering

Year:

2007

Language:

english

File:

PDF, 155 KB

english, 2007

10

Perforated tunnel exit regions and micro-pressure waves: geometrical influence

Wang, Honglin, Vardy, Alan E., Pokrajac, Dubravka

Journal:

Proceedings of the ICE - Engineering and Computational Mechanics

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

11

Closure to “Evaluation of Unsteady Wall Shear Stress by Zielke’s Method” by Alan E. Vardy and Jim M. B. Brown

Vardy, Alan E., Brown, Jim M. B.

Journal:

Journal of Hydraulic Engineering

Year:

2013

Language:

english

File:

PDF, 890 KB

english, 2013

12

Finite prism analysis of plates and shells

Carlos C. K. Wong, Alan E. Vardy

Journal:

International Journal for Numerical Methods in Engineering

Year:

1985

Language:

english

File:

PDF, 642 KB

english, 1985

13

Efficient Approximation of Unsteady Friction Weighting Functions

Vardy, Alan, Brown, Jim

Journal:

Journal of Hydraulic Engineering

Year:

2004

Language:

english

File:

PDF, 262 KB

english, 2004

14

BOOK REVIEWS

Lokke, Kari, Brantley, Richard E., Vardy, Alan, Clubbe, John, Brewer, William D., Goring, Paul, Franklin, Michael J., Wheatley, Kim

Journal:

European Romantic Review

Year:

2011

Language:

english

File:

PDF, 375 KB

english, 2011

15

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Verification of an implementation of Tomasulo's algorithm by compositional model checking

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 803 KB

english, 1998

16

[IEEE 2019 Symposium on VLSI Technology - Kyoto, Japan (2019.6.9-2019.6.14)] 2019 Symposium on VLSI Technology - Reassessing InGaAs for Logic: Mobility Extraction in sub-10nm Fin-Width FinFETs

Cai, Xiaowei, Vardi, Alan, Grajal, Jesus, del Alamo, Jesus A.

Year:

2019

Language:

english

File:

PDF, 456 KB

english, 2019

17

Estimating friction errors in MOC analyses of unsteady pipe flows

Masashi Shimada, Jim Brown, Alan Vardy

Journal:

Computers & Fluids

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

18

Errata for “Approximation of Turbulent Wall Shear Stresses in Highly Transient Pipe Flows” by Alan E. Vardy and Jim M. B. Brown

Vardy, Alan E., Brown, Jim M.

Journal:

Journal of Hydraulic Engineering

Year:

2009

Language:

english

File:

PDF, 23 KB

english, 2009

19

Influence of time-dependent viscosity on wall shear stresses in unsteady pipe flows

Vardy, Alan E., Brown, James M.B.

Journal:

Journal of Hydraulic Research

Year:

2010

Language:

english

File:

PDF, 598 KB

english, 2010

20

Interpolation in transient polytropic flow

Alan Vardy, Zhiqiu Pan

Journal:

Computers & Fluids

Year:

1998

Language:

english

File:

PDF, 534 KB

english, 1998

21

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Efficient symbolic detection of global properties in distributed systems

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 725 KB

english, 1998

22

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 330 KB

english, 1998

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || The ‘test model-checking’ approach to the verification of formal memory models of multiprocessors

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 772 KB

english, 1998

24

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Real-time verification of Statemate designs

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 317 KB

english, 1998

25

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || A toolset for message sequence charts

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 357 KB

english, 1998

26

Nonlinear Interaction of Friction and Interpolation Errors in Unsteady Flow Analyses

Shimada, Masashi, Vardy, Alan E.

Journal:

Journal of Hydraulic Engineering

Year:

2013

Language:

english

File:

PDF, 1.15 MB

english, 2013

27

Time-Line Interpolation Errors in Pipe Networks

Shimada, Masashi, Brown, Jim, Leslie, Della, Vardy, Alan

Journal:

Journal of Hydraulic Engineering

Year:

2006

Language:

english

File:

PDF, 330 KB

english, 2006

28

Fatigue Performance of Two Structural Adhesives

Luckyram, Jeenarainsingh, Vardy, Alan E.

Journal:

The Journal of Adhesion

Year:

1988

Language:

english

File:

PDF, 688 KB

english, 1988

29

Wall friction and turbulence dynamics in decelerating pipe flows

Ariyaratne, Chanchala, He, Shuisheng, Vardy, Alan E.

Journal:

Journal of Hydraulic Research

Year:

2010

Language:

english

File:

PDF, 955 KB

english, 2010

30

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Verification of timed systems using POSETs

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 820 KB

english, 1998

31

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || A formal method experience at secure computing corporation

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 494 KB

english, 1998

32

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Optikron: A tool suite for enhancing model-checking of real-time systems

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 209 KB

english, 1998

33

A Comparative Study of Turbulence in Ramp-Up and Ramp-Down Unsteady Flows

Mehdi Seddighi, Shuisheng He, Paolo Orlandi, Alan E. Vardy

Journal:

Flow, Turbulence and Combustion

Year:

2011

Language:

english

File:

PDF, 673 KB

english, 2011

34

Magnetic resonance imaging of abdominal versus vaginal prolapse surgery with mesh

Ginath, Shimon, Garely, Alan D., Luchs, Jonathan S., Shahryarinejad, Azin, Olivera, Cedric K., Zhou, Sue, Ascher-Walsh, Charles J., Condrea, Alexander, Brodman, Michael L., Vardy, Michael D.

Journal:

International Urogynecology Journal

Year:

2012

Language:

english

File:

PDF, 210 KB

english, 2012

35

Interpolation Errors in Rectangular and Diamond Characteristic Grids

Shimada, Masashi, Brown, James M., Vardy, Alan E.

Journal:

Journal of Hydraulic Engineering

Year:

2008

Language:

english

File:

PDF, 779 KB

english, 2008

36

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Decomposing the proof of correctness of pipelined microprocessors

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 820 KB

english, 1998

37

Computer Intrusion: Detecting Masquerades

Matthias Schonlau, William DuMouchel, Wen-Hua Ju, Alan F. Karr, Martin Theus and Yehuda Vardi

Journal:

Statistical Science

Year:

2001

Language:

english

File:

PDF, 3.06 MB

english, 2001

38

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || A role for theorem proving in multi-processor design

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 167 KB

english, 1998

39

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Formal methods in an industrial environment

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 221 KB

english, 1998

40

Patient Preferences for Abdominal Incisions Used for Pelvic Organ Prolapse Surgery

Noor, Nabila, Rahimi, Salma, Pereira, Elena, Treszezamsky, Alejandro, Garely, Alan, Vardy, Michael, Ascher-Walsh, Charles

Journal:

Female Pelvic Medicine & Reconstructive Surgery

Year:

2015

Language:

english

File:

PDF, 241 KB

english, 2015

41

Histone modifications and p53 binding poise the p21 promoter for activation in human embryonic stem cells

Itahana, Yoko, Zhang, Jinqiu, Göke, Jonathan, Vardy, Leah A., Han, Rachel, Iwamoto, Kozue, Cukuroglu, Engin, Robson, Paul, Pouladi, Mahmoud A., Colman, Alan, Itahana, Koji

Journal:

Scientific Reports

Year:

2016

Language:

english

File:

PDF, 1.88 MB

english, 2016

42

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || On checking model checkers

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 544 KB

english, 1998

43

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Protocol verification in Nuprl

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 799 KB

english, 1998

44

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Processor verification with precise exceptions and speculative execution

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 629 KB

english, 1998

45

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Xeve, an Esterel verification environment

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 467 KB

english, 1998

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Verifying systems with infinite but regular state spaces

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 634 KB

english, 1998

47

Comparison of the Effects of Low-Level Laser Therapy and Ozone Therapy on Bone Healing

Alan, Hilal, Vardi, Nigar, Özgür, Cem, Hüseyin, Ahmet, Yolcu, Ümit, Doğan, Derya Ozdemir

Journal:

Journal of Craniofacial Surgery

Year:

2015

Language:

english

File:

PDF, 222 KB

english, 2015

48

Is More Cortical Bone Decortication Effective on Guided Bone Augmentation?

Acar, Ahmet Hüseyin, Alan, Hilal, Özgür, Cem, Vardi, Nigar, Asutay, Fatih, Güler, Çiğdem

Journal:

Journal of Craniofacial Surgery

Year:

2016

Language:

english

File:

PDF, 445 KB

english, 2016

49

Quasi-steady friction in transient polytropic flow

Alan Vardy, Zhiqiu Pan

Journal:

Computers & Fluids

Year:

1997

Language:

english

File:

PDF, 1.33 MB

english, 1997

50

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Formal verification of out-of-order execution using incremental flushing

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 679 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски